More from this Author

Science Communication in Theory and Practice

by Susan M. Stocklmayer, Michael M. Gore (Editor), C. R. Bryant (Editor), Rajeev Gore (Editor)

Automated Reasoning

by Rajeev Gore (Editor), Alexander Leitsch (Editor), Tobias Nipkow (Editor)